H ? « ‹ ← → › »

Language peer sets for Greif formal specification language:
United States↑
United States/1975↑
Designed 1975 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Experimental and other ↑
Experimental and other/1975↑
Experimental and other/us ↑

Greif formal specification language(ID:7380/gre006)

alternate simple view
Country: United States
Designed 1975
Sammet category: Experimental and other
References:
  • Greif, I. (1975) Greif, I. Semantics of communicating parallel processes. Proj. MAC TR-154, M.I.T., Cambridge, Mass., 1975 Abstract
  • Greif, I. (1976) Greif, I. Formal problem specifications for readers and writers scheduling. Proc. MRI Symp. on Software Eng., Polytechnic Inst. of New York, 1976.
  • Greif, Irene (1977) Greif, Irene "A language for formal problem specification" Abstract DOI Extract: Introduction
          in [ACM] (1977) [ACM] CACM 20(12) December 1977
  • Cousot, P. (1978) Cousot, P. review of Grief 1977 Abstract
          in (1978) ACM Computing Reviews 19(12) December 1978
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder